%{
#include<iostream>
#include<set>
using namespace std;
set <int>s;
int number=0;
long long sum=0;
%}
DELIM [ \t\n]
WS {DELIM} +
DIGIT [0-9]
SCHOOLNUM ^[0-9]{9}
NUMBER {DIGIT}+(\.{DIGIT}+)?
END NAME$
LETTER [A-Za-z]
%%
{SCHOOLNUM} {cout<<"201492444";}
{END} {cout<<"LZ";}
{LETTER} {cout<<yytext;}
{NUMBER} {sum=2*atof(yytext)+201492444;
          sum=int(sum);
	  cout<<sum;
	  s.insert(sum);
	  number++;}
%%
int main()
{
  yylex();
  cout<<"出现次数"<<number<<" 去重后次数"<<s.size()<<endl;
  return 0;
}
int yywarp()
{return 1;}

